1.25—0.25x=4