247.98/248.00	unsat
