250.08/250.96	unsat
