245.74/246.00	unsat
