Bilevel program
 
x
OK