SMT on SplitClub