x*0.0833+y*0.1551 <(0.1393*0.95), x+y = 1, y >0.15