Finally working SAT for boxes