Die sind ok. Aber für wenig mehr Geld bekommst du schon bessere.
Die Crucial sind DDR3-1333 mit 9-9-9-28. ]. Wenn du die also auf DDR3-1333 reduzierst, kannst du die Timings auf 8-8-8-20 laufen lassen. Und die lassen sich auch mit 1,5V betreiben.
Für nochmal 5-10 Euro mehr gibt es ]. Die laufen dann auch bei DDR3-1333 mit 6-7-6-20. Jedoch fressen die dann 1,65V.