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