% SZS status Timeout for ALL__DISTINCT__SET__TO__LI
