The trick is to slowly narrow the choices. After the narrowing, you can start making simplifying assumptions and see if these assumptions are self-consistent with the test. Like a sudoku, but not boring and trivial.