TSTP Solution File: CSR091+1 by Nitpick---2016