% SZS status Timeout for INT__MAX__MONOTON
