strategy.sat