Both cases are solvable. The problem comes from the solver you are using. Some publicly available solvers might wrongly conclude that a puzzle is unsolvable.
