simplesat: fix outdated subsitution
Fixed upstream in https://github.com/enthought/sat-solver/commit/78ec1d8faf2a1b35a26a65c2779b80d71f4c7806
Liam Murphy 7 months ago 4484cd3b 6a95a948