Update 2sat_tarjan.go