Create prob0013.txt