TSTP Solution File: MGT045-1 by Refute---2015