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