image
An ILP-sized problem