Tetravex solver

file format:

 width height

 left top right bottom
 left top right bottom
 left top right bottom
 left top right bottom
...