https://advancedainews.com/neurosat-an-ai-that-learned-solving-logic-problems/