tai42-contract<12,>=11.0
