4.88/5.20	unsat
