The servers were listed in the SETSPN -L. Somehow the problem is resolved, we still aren't sure how. We removed and registered some of the servers in DNS and removed some of the SPN and re-added, eventually we must have done the right thing. It is working for us now. Thanks for your help.