Added a todo list to the exact solver test.