% SZS status Timeout for rrestrict__to__rel__con
