Solves SAT problems using self replicating loops in a cellular automata