A small test of solving LPN by SAT-solver in Sage. It works only with toy parameters