4.88/5.82	unsat
