design and specification of problems 54289