4.07/4.97	unsat
