684.95/689.31	unsat
