https://profilpelajar.com/SAT-solver