If \(X\)  is simply connected, the non-negativity condition implies that \(-K_X\)  is semiample. Hence \(-K_X\)  is nef; by [1]}, \(X\)  is therefore a product \(Y\times F\) , where \(Y\)  has trivial canonical bundle and \(F\)  is rationally connected.
