252.70/257.75	unsat
