250.32/252.18	unsat
