b1248.unisat