248.72/251.35	unsat
