4.88/7.13	unsat
