puzzle:find_with_constraints