Unfortunately, BIOS (the latest) recognizes the memory as DDR3-1333 9-9-9-24.
I tried both BIOS default settings and manually entered DDR3-1600 9-9-9-28. In both cases the system looks somewhat unstable (according to memtest86+).
In the BIOS besides these 4 numbers with main memory timings there are dozens of other timings. I guess that I should set them as well to get a stable system. Could anyone help me, what to enter there?