prob13 solved