825.43/826.41	unsat
