809.06/811.62	unsat
