Fixed unsolvable case. Label for unsolvable added