generated at
cutting-plane method