867.62/867.96	unsat
