File list (Check if you may need any files):
2-SAT\SAT2\SAT2.sln
.....\....\SAT2.suo
.....\....\....\ReadMe.txt
.....\....\....\SAT2.vcproj
.....\....\....\SAT2.vcproj.PC-200912082359.Administrator.user
.....\....\....\SAT2.vcproj.牛传正.Administrator.user
.....\....\....\stdafx.cpp
.....\....\....\stdafx.h
.....\....\....\targetver.h
.....\....\....\Debug\BuildLog.htm
.....\....\....\.....\mt.dep
.....\....\....\.....\SAT2.exe.embed.manifest
.....\....\....\.....\SAT2.exe.embed.manifest.res
.....\....\....\.....\SAT2.exe.intermediate.manifest
.....\....\....\.....\SAT2.pch
.....\....\....\.....\stdafx.obj
.....\....\....\.....\vc90.idb
.....\....\....\.....\vc90.pdb
.....\....\....\.....\SAT2.obj
.....\....\....\SAT2.cpp
.....\....\Debug\SAT2.pdb
.....\....\SAT2.ncb
.....\算法设计说明.doc
.....\SAT2\SAT2\Debug
.....\....\SAT2
.....\....\Debug
.....\SAT2
2-SAT