2.49/3.97	unsat
