1. recompiling
2. remove upper bound for total resource R
because we maximize this resource
