IMO 1986 LL GBR32

Origin: GBR

Problem

Find, with proof, all solutions of the equation 1 x + 2 y −3 z = 1 in positive integers x, y, z.