679.50/683.17	unsat
