https://profilbaru.com/en/Boolean_SAT_solver