2.88/3.30	unsat
