leejacobson SA algorithm