247.60/250.36	unsat
