4.88/5.97	unsat
