modified:   New_ER/Makefile
	modified:   New_ER/header/Model.h
	new file:   New_ER/header/Node.h
	modified:   New_ER/header/Problem.h
	new file:   New_ER/header/Satisfiability.h
	modified:   New_ER/header/Segment.h
	modified:   New_ER/header/SegmentProblem.h
	modified:   New_ER/header/Solution.h
	modified:   New_ER/header/TestBB.h
	modified:   New_ER/source/Function.cpp
	modified:   New_ER/source/Model.cpp
	modified:   New_ER/source/Problem.cpp
	new file:   New_ER/source/Satisfiability.cpp
	modified:   New_ER/source/Segment.cpp
	modified:   New_ER/source/TestBB.cpp
	modified:   New_ER/source/main.cpp