started restted merge: addded sudoku, LS stuff. need to do 3sat to tp reduction.