4.88/7.20	unsat
