Updating the SAT file...