825.72/830.19	unsat
