TSTP Solution File: CSR076+2 by Nitpick---2016