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