Added making satisfiable sample for testin Ro Es Te for Bivium