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