InfExactUnstableButFast