P
Initializing...
Step (iii): the best layer has welfare at least OPT*/(3k) · Prove2Me