Updated the SAT report and added some notes for the injector.py program.