TSTP Solution File: CSR116+22 by Refute---2015