You are wrong about not getting anything back from the AOTC. The AOTC is a refundable credit meaning even if you have no tax liability you still get $1000 back.
