minor progress in survey

add SAT-based approach to SCT global ranking function