695.75/700.02	unsat
