686.90/691.05	unsat
