Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021