2.88/3.27	unsat
