Create input9.txt