4.88/5.69	unsat
