% SZS status Timeout for INFINITY__IS__INFINITY_
