Jukebox.SatMin

solveLocalMin

localMin