TSTP Solution File: TOP044+2 by SInE---0.4