828.39/829.95	unsat
