Fix typo
SAT instantiation
Ignore backup files