A cubic 3-connected graph having no cycle through given 10 vertices has the "Petersen form"

It has been proved [1,2] that in a cubic 3-connected graph any 9 vertices lie on a common cycle.