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