Fix random solver