245.40/246.89	unsat
