4.88/5.25	unsat
