0.07/0.10	unsat
