245.58/248.58	unsat
