It is valid and it prints:  13 5