682.01/687.26	unsat
