247.57/248.70	unsat
