696.47/700.68	unsat
