bugfix 3
modified 3SAT-M3