250.42/252.97	unsat
