867.35/871.76	unsat
