W3SAT on SplitClub