869.56/871.05	unsat
