successfully detect infeasible puzzle