TSTP Solution File: SET646+3 by Refute---2015