880.66/882.20	unsat
