683.14/685.77	unsat
