Assuming I used the correct gallon (US!=UK), I think it's 9.4l/100km