Dodałem sprawdzanie rozwiązywalności dla a*