TSTP Solution File: SET834-2 by Refute---2015