0.07/0.81	unsat
