Can we solve a 3-SAT problem with supressor logic?