The skull length of a crocodile is proportional to its body length. In one species, a 6-foot crocodile has a 3-foot skull. Estimate the length of a crocodile of that species that has a 3.5-foot skull.