prob1 solution