x(1-1/7) = 2*(80-x-20)
6x/7=120-2x
6x/7+2x=120
20x/7=120
x=120*7/20
x=42