% SZS status Timeout for finite__prefix__linear__order__has__unique__minim
