SAT implemented and working nicely at long last :)