250.17/250.69	unsat
