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