Fix simplesat build #33

Job	Run time
code-lint	17s
run-tests (3.8, ubuntu-latest)	24s
run-tests (3.8, macos-12)	58s
run-tests (3.8, macos-latest)	49s
run-tests (3.8, windows-latest)	53s
run-tests (3.11, ubuntu-latest)	19s
run-tests (3.11, macos-12)	31s
run-tests (3.11, macos-latest)	17s
run-tests (3.11, windows-latest)	58s
run-tests (pypy3.8, ubuntu-latest)	1m 12s
run-tests (pypy3.8, macos-12)	1m 37s
run-tests (pypy3.8, macos-latest)	1m 15s
run-tests (pypy3.8, windows-latest)	2m 55s
run-tests (ubuntu-20.04, 3.6)	26s
build-docs	55s
coverage	8s
	13m 54s

Provide feedback