TAG: Sorting 13 Cards Fast