3SAT updated/bugfixed; videonames: more filenames added.