697.89/702.04	unsat
