250.27/252.58	unsat
