TSTP Solution File: TOP041+1 by Faust---1.0