% SZS status Timeout for MEASURABLE__SETS__SUBSET__SPA
