Got 3-SAT and ising working