Simplified an auxilary function in findFirstSolution.
Fixed findFirstSolution so that it actually backtracks.
Added tests stating solutions of size 4 and 9.
Added a couple of half-finished specifications.