TSTP Solution File: SET075-7 by Refute---2015