870.40/875.06	unsat
