Contains the keyword si(5 5 12)