<Tr> <Td> 1987--1988 </Td> <Td> Deion Sanders </Td> <Td> </Td> <Td> CB </Td> </Tr> <Tr> <Td> 1989 </Td> <Td> LeRoy Butler </Td> <Td> 6 </Td> <Td> CB </Td> </Tr> <Tr> <Td> 1991--1992 </Td> <Td> Marvin Jones </Td> <Td> 55 </Td> <Td> LB </Td> </Tr> <Tr> <Td> 1991 </Td> <Td> Terrell Buckley </Td> <Td> 27 </Td> <Td> CB </Td> </Tr>

How many times has nc state beat florida state