4.88/5.11	unsat
