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