[HN] SAT Master (new!)