Giving the inputs satisfies the conditions but verification fails