TSTP Solution File: CSR042+6 by Nitpick---2016