Improving the todo.sh file
Allowing for shuffling of CNF before solving