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