isUnsolvable works