0.69/1.12	unsat
