684.34/685.40	unsat
