0.2x+(1-0.25)*0.2x+12=0.5x
0.2x-0.15x+12=0.5x
0.5x-0.2x+0.15x=12
0.45x=12
x=80/3