1) Fixed a bug in backtracking... I think it works now! Still need to test
some more :(