Press ESC to close

3-SAT problem