1.68/2.31	unsat
