prob 12 solved