678.21/681.84	unsat
