Thank you Michael for your proposal. Yes, please show me, how to make it.

An ex-and imported .sat file to TC was able to be shelled, but there is the same or a similar mistake. Is this mathematically not possible? Can´t believe it.

In the attached picture you can see TC´s result.