245.49/246.26	unsat
