3 sat issue #24

Closed super-jaba closed 1 month ago