TSTP Solution File: CSR210+1 by Nitpick---2016