678.66/681.32	unsat
