4.88/5.14	unsat
