2.88/3.00	unsat
