2.27/3.12	unsat
