SAJTENY: see SEITIN Print
.