0.07/0.12	unsat
