added multi-thread ability to CN-solver. turned out useless and inefficient. left in code as a cautionary tale.