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