4.88/5.13	unsat
