245.42/248.51	unsat
