248.35/248.61	unsat
