KKT check