678.91/681.88	unsat
