-add UnsatVertexInfo(void) for future use
-test commit
-test commit
Merge remote-tracking branch 'origin/chaoUnsat' into chaoUnsat

Conflicts:
	pkg/dem/UnsaturatedEngine.cpp