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