switched to initial-state-only objective in exact_LP