2.68/3.31	unsat
