676.95/680.58	unsat
