Which of the following is true for the Petersen graph?
It is planar.
Its girth is 4.
It is 3-regular.
It has 12 vertices.