LCV. Speeds up solve times with less vars, but not with more vars?