245.87/246.23	unsat
