1.06/1.12	unsat
