% SZS status Timeout for FN__MINUS__CMUL_
