Machine Learning for SAT Solvers