A Kochen-Specker inequality from a SIC