866.75/867.78	unsat
