826.70/830.84	unsat
