Amount in W2 which he's already paid + the PTC payback.  Increasing the SEHI deduction will reduce the payback amount so you have to a little trial and error until you get things right.  I would not use screen 39 to trigger SEHI deduction,  I would use screen 24.