SANTA(Prod.by 3-$ex)