684.99/686.05	unsat
