Update tabuSAT.m