I don't have the formula you ask for, but keep in mind, during the Second World War, Germany ran much of it's war machine on synthetic petroleum products... your petrol (I'm in the U.S.). The technology is some 70 years old. It's just that is only now becoming financially justifiable, since, for the last many decades crude oil has been so plentiful and cheap... here in the western U.S. advanced experiments are producing oil from geologic formations generally called oil shale. Additionally, Germany's source for the synthetic petroleum was coal. The U.S., near where I live in the western States has enough coal to power the entire U.S. for the next 500 years. Several of the coal beds are being exploited in a new process whereby the natural gas inherent in all coal beds is being extracted without removing the actual coal.