688.01/689.24	unsat
