Super-optimization four-block problem door Nyman