242.37/248.92	unsat
