2.88/2.97	unsat
