Update verified/code/sa.cpp rank->rnk