2.39/2.52	unsat
