4.88/5.02	unsat
