TSTP Solution File: SET015-3 by Refute---2015