prime-related and 2-sat