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