https://123dok.org/document/yev3xl80-minimum-lap-time-of-race-cars.html