TSTP Solution File: BOO100-1 by SInE---0.4