TSTP Solution File: TOP018-1 by Faust---1.0