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