685.87/689.29	unsat
