TSTP Solution File: COM017+4 by Refute---2015