% SZS status Timeout for INT__MIN__MONOTON
