allow to fix variables and write out if BINGO
allow to fix variables and write out if BINGO

aureooms/ghc-2015-qualification,aureooms/ghc-2015-qualification,aureooms/ghc-2015-qualification,aureooms/ghc-2015-qualification