F-theory at order α′ 3