602.39/603.46	unsat
