866.06/867.88	unsat
