Add SAT paper
Fuck results
Grammar fix
We don't know if AQC works
Don't need a goal at the end of single qubyte bit
SAT section mostly done
A letter