Fix simplesat build #32

Job	Run time
code-lint	11s
run-tests (3.8, ubuntu-latest)	34s
run-tests (3.8, macos-12)	59s
run-tests (3.8, macos-latest)	48s
run-tests (3.8, windows-latest)	38s
run-tests (3.11, ubuntu-latest)	20s
run-tests (3.11, macos-12)	29s
run-tests (3.11, macos-latest)	23s
run-tests (3.11, windows-latest)	54s
run-tests (pypy3.8, ubuntu-latest)	1m 9s
run-tests (pypy3.8, macos-12)	1m 34s
run-tests (pypy3.8, macos-latest)	1m 1s
run-tests (pypy3.8, windows-latest)	2m 48s
run-tests (ubuntu-20.04, 3.6)	23s
build-docs	30s
coverage	13s
	12m 54s

Provide feedback