248.37/248.95	unsat
