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