Given positive integer dimensions A,B,a,b and an integer n in binary, decide whether n interior-disjoint a×b rectangles fit inside an A×B rectangle. Each small rectangle may use either axis-parallel orientation. Determine the complexity in terms of the compact input length.