ExactIntegerSlackError# class ExactIntegerSlackError# Exact integer-slack conversion is unavailable for the requested inequality.