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