823.78/826.34	unsat
