TSTP Solution File: CSR101+5 by Nitpick---2016