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