TSTP Solution File: COM148+1 by Refute---2015