LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving