Compiled the references
commented out a lot of problem.tex
index pdf folder and temp folder items
modified 3-SAT