Machine Learning Based SAT Solver for Dual Degree Project