Added KSAT to translator