Made some progress towards the mega-est-sat program.