% SZS status Timeout for CONSTR__B
