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