successful solver of KSI