TSTP Solution File: TOP024+2 by Faust---1.0