Si son Samsung b-die, que tiene pinta, y tiene un 8700, y una placa decente, es muy factible ponerlas a 4000 CL17 sin mucho problema. Apurando mas los voltajes, incluso 4000 CL16 podria conseguir. Pero sin saber modelos de memorias exacto, de placa, micro......poco se puede decir.
Un saludo.