problem 13 formatted