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