683.03/686.10	unsat
