702.05/703.79	unsat
