2.88/2.99	unsat
