Sukhotins Algorithm