School project to try simulating annealing for SAT