247.35/250.38	unsat
