681.93/685.16	unsat
