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