TSTP Solution File: TOP033+4 by SInE---0.4