added table SAT instance for scalar-vector