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