A working version of walkSAT