I suppose that's true, they are solvable, but only by just trying something, you can't deduce the solution because you can get to a point where there's 2 possibilities and both are valid. That's why generally all sudoku have a unique solution. Still, I understand that that would be really hard to do and a big pain with such a limited engine. Good work nonetheless!