702.40/704.07	unsat
