SOLVE_FALSE_CONFIRMED