2.29/6.12	unsat
