SnG HT 6-max SAT