1.06/3.81	unsat
