245.72/248.31	unsat
