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