% SZS status Timeout for REAL__POS__IN__BINA
