TSTP Solution File: ALG232+3 by SETHEO---3.3