CSP solve completed (untested). Back working on soft next, gotta work on prev tuples zeroing.