1.49/4.06	unsat
