702.93/704.05	unsat
