2.88/3.08	unsat
