0.08/0.12	unsat
