py-satmath