TSTP Solution File: MGT024+1 by Nitpick---2016