% SZS status Timeout for prob__x__eq__1__imp__prob__y__eq_
