17 KKT checked