GJK / SAT = both bugged