680.30/681.20	unsat
