x-0.2x=80 求x