% SZS status Timeout for finite__linear__order__has__maxim
