4.47/4.97	unsat
