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