4.88/4.97	unsat
