245.61/248.10	unsat
